Modeling Activity Diagrams with Extended Petri Nets
نویسندگان
چکیده
To enhance trustworthiness, UML (unified modeling language) activity diagrams are transformed into Petri nets for verification and analysis. Data concerned Petri net (DCPN) is proposed for activity diagrams’ modeling. Mapping rules for transforming elements in an activity diagram into DCPNs are proposed in both graphical and formal forms. Weaving method is used to compose DCPNs. This paper provides foundation for developing a tool which can automatically transform an activity diagram into an analyzable Petri net. A case study shows the feasibility and applicability of the proposed method.
منابع مشابه
Mapping UML Models to Colored Petri Nets Models based on Edged Graph Grammar
This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...
متن کاملDefining variability in activity diagrams and Petri nets
Control flow models, such as UML activity diagrams or Petri nets, are widely accepted modeling languages used to support quality assurance activities in single system engineering as well as software product line (SPL) engineering. Quality assurance in product line engineering is a challenging task since a defect in a domain artifact may affect several products of the product line. Thus, proper ...
متن کاملComparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets
Petri net variants are widely used as a workflow modelling technique. Recently, UML activity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملTowards a Petri-net Semantics of Data Flow in UML 2.0 Activities
The Unified Modeling Language (UML) is the de facto standard for modeling software. Currently, the UML is moving from version 1.5 to version 2.0. There are many improvements in this new version, and one of the biggest is the reengineering of activity diagrams. Activity diagrams have an extremely rich syntax, providing notations for sequencing, branching, concurrency, exceptions, procedure calli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Intelligent Automation & Soft Computing
دوره 17 شماره
صفحات -
تاریخ انتشار 2011